.workspaceName {
  white-space: pre;
}
mark.workspaceName {
  background-color: var(--theme-stage);
  color: var(--theme-stage-on);
}
